Definition des
... ... ... HommeDePeine(Hotel) (*)
Zerstarten